all_allocations= [[{(7, 10, 20, 1, 1), (13, 3, 13, 1, 1), (19, 1, 14, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 13, 1, 1), (19, 1, 8, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 14, 1, 1), (19, 1, 16, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 14, 1, 1), (19, 1, 6, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 16, 1, 1), (19, 1, 13, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 8, 1, 1), (19, 1, 20, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 8, 1, 1), (19, 1, 16, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 8, 1, 1), (19, 1, 16, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 16, 1, 1),
   (13, 3, 20, 1, 1),
   (19, 1, 14, 1, 1),
   (25, 22, 13, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 20, 1, 1), (19, 1, 8, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 14, 1, 1), (19, 1, 13, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 13, 1, 1), (19, 1, 14, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 6, 1, 1), (19, 1, 20, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 13, 1, 1), (19, 1, 8, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 13, 1, 1), (19, 1, 20, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 13, 1, 1), (19, 1, 20, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 13, 1, 1), (19, 1, 16, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 14, 1, 1), (19, 1, 16, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 14, 1, 1), (19, 1, 8, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 20, 1, 1), (19, 1, 13, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 13, 1, 1), (19, 1, 8, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 20, 1, 1), (19, 1, 6, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 16, 1, 1), (19, 1, 8, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 6, 1, 1), (19, 1, 14, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 20, 1, 1), (19, 1, 16, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 20, 1, 1), (19, 1, 14, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 16, 1, 1), (19, 1, 14, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 20, 1, 1), (19, 1, 6, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 20, 1, 1), (19, 1, 6, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 6, 1, 1), (19, 1, 14, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 14, 1, 1), (19, 1, 16, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 16, 1, 1), (19, 1, 8, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 14, 1, 1), (19, 1, 6, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 16, 1, 1), (19, 1, 8, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 8, 1, 1), (19, 1, 14, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 14, 1, 1), (19, 1, 13, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 16, 1, 1), (19, 1, 13, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 16, 1, 1), (19, 1, 13, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 14, 1, 1),
   (13, 3, 16, 1, 1),
   (19, 1, 20, 1, 1),
   (25, 22, 13, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 8, 1, 1), (19, 1, 14, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 6, 1, 1), (19, 1, 14, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 8, 1, 1), (19, 1, 20, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 6, 1, 1), (19, 1, 20, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 8, 1, 1), (19, 1, 16, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 14, 1, 1), (19, 1, 20, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 13, 1, 1), (19, 1, 20, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 14, 1, 1), (19, 1, 6, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 8, 1, 1), (19, 1, 6, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 20, 1, 1), (19, 1, 8, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 8, 1, 1), (19, 1, 14, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 13, 1, 1), (19, 1, 8, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 13, 1, 1), (19, 1, 16, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 6, 1, 1), (19, 1, 13, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 8, 1, 1), (19, 1, 14, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 13, 1, 1), (19, 1, 8, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 8, 1, 1), (19, 1, 20, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 14, 1, 1), (19, 1, 8, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 16, 1, 1), (19, 1, 8, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 14, 1, 1), (19, 1, 6, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 6, 1, 1), (19, 1, 20, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 6, 1, 1), (19, 1, 8, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 8, 1, 1), (19, 1, 13, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 8, 1, 1), (19, 1, 13, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 20, 1, 1),
   (13, 3, 16, 1, 1),
   (19, 1, 14, 1, 1),
   (25, 22, 13, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 6, 1, 1), (19, 1, 8, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 16, 1, 1), (19, 1, 8, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 14, 1, 1),
   (13, 3, 20, 1, 1),
   (19, 1, 13, 1, 1),
   (25, 22, 16, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 8, 1, 1), (19, 1, 14, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 14, 1, 1), (19, 1, 16, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 14, 1, 1), (19, 1, 20, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 6, 1, 1), (19, 1, 8, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 14, 1, 1), (19, 1, 8, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 13, 1, 1),
   (13, 3, 14, 1, 1),
   (19, 1, 16, 1, 1),
   (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 13, 1, 1), (19, 1, 14, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 6, 1, 1), (19, 1, 14, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 20, 1, 1), (19, 1, 16, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 8, 1, 1), (19, 1, 16, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 6, 1, 1), (19, 1, 8, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 20, 1, 1), (19, 1, 16, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 13, 1, 1), (19, 1, 20, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 8, 1, 1), (19, 1, 6, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 6, 1, 1), (19, 1, 14, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 20, 1, 1), (19, 1, 8, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 13, 1, 1), (19, 1, 8, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 6, 1, 1), (19, 1, 13, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 16, 1, 1), (19, 1, 13, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 16, 1, 1),
   (13, 3, 14, 1, 1),
   (19, 1, 13, 1, 1),
   (25, 22, 20, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 16, 1, 1), (19, 1, 13, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 16, 1, 1), (19, 1, 20, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 6, 1, 1), (19, 1, 14, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 8, 1, 1), (19, 1, 13, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 16, 1, 1), (19, 1, 6, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 16, 1, 1), (19, 1, 8, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 16, 1, 1), (19, 1, 8, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 20, 1, 1), (19, 1, 13, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 6, 1, 1), (19, 1, 13, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 14, 1, 1), (19, 1, 16, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 16, 1, 1),
   (13, 3, 20, 1, 1),
   (19, 1, 13, 1, 1),
   (25, 22, 14, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 8, 1, 1), (19, 1, 16, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 13, 1, 1), (19, 1, 6, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 14, 1, 1), (19, 1, 6, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 14, 1, 1), (19, 1, 16, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 8, 1, 1), (19, 1, 6, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 20, 1, 1), (19, 1, 6, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 20, 1, 1), (19, 1, 6, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 6, 1, 1), (19, 1, 14, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 20, 1, 1), (19, 1, 16, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 6, 1, 1), (19, 1, 8, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 20, 1, 1), (19, 1, 6, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 16, 1, 1), (19, 1, 13, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 13, 1, 1), (19, 1, 6, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 8, 1, 1), (19, 1, 16, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 16, 1, 1), (19, 1, 13, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 20, 1, 1),
   (13, 3, 16, 1, 1),
   (19, 1, 13, 1, 1),
   (25, 22, 14, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 14, 1, 1), (19, 1, 16, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 20, 1, 1), (19, 1, 14, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 20, 1, 1), (19, 1, 16, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 8, 1, 1), (19, 1, 13, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 8, 1, 1), (19, 1, 13, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1),
   (13, 3, 14, 1, 1),
   (19, 1, 20, 1, 1),
   (25, 22, 16, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 16, 1, 1), (19, 1, 8, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 13, 1, 1), (19, 1, 8, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 16, 1, 1), (19, 1, 6, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 20, 1, 1), (19, 1, 13, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 8, 1, 1), (19, 1, 6, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 20, 1, 1),
   (13, 3, 14, 1, 1),
   (19, 1, 16, 1, 1),
   (25, 22, 13, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 13, 1, 1), (19, 1, 8, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 6, 1, 1), (19, 1, 16, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 14, 1, 1), (19, 1, 6, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 8, 1, 1), (19, 1, 6, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 8, 1, 1), (19, 1, 14, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 16, 1, 1), (19, 1, 6, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 20, 1, 1), (19, 1, 6, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 8, 1, 1), (19, 1, 6, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 6, 1, 1), (19, 1, 20, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 20, 1, 1), (19, 1, 14, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 13, 1, 1),
   (13, 3, 20, 1, 1),
   (19, 1, 16, 1, 1),
   (25, 22, 14, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 16, 1, 1), (19, 1, 8, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 6, 1, 1), (19, 1, 20, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 14, 1, 1), (19, 1, 8, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 14, 1, 1), (19, 1, 6, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 6, 1, 1), (19, 1, 13, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 13, 1, 1), (19, 1, 8, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 6, 1, 1), (19, 1, 13, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 8, 1, 1), (19, 1, 14, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 13, 1, 1), (19, 1, 16, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 20, 1, 1), (19, 1, 8, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 16, 1, 1), (19, 1, 8, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 16, 1, 1), (19, 1, 13, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 8, 1, 1), (19, 1, 20, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 8, 1, 1), (19, 1, 20, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 6, 1, 1), (19, 1, 20, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 6, 1, 1), (19, 1, 8, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 13, 1, 1), (19, 1, 20, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 14, 1, 1), (19, 1, 20, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 14, 1, 1), (19, 1, 16, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 8, 1, 1), (19, 1, 20, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 6, 1, 1), (19, 1, 16, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 13, 1, 1),
   (13, 3, 20, 1, 1),
   (19, 1, 14, 1, 1),
   (25, 22, 16, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 14, 1, 1), (19, 1, 8, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 13, 1, 1), (19, 1, 14, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 20, 1, 1), (19, 1, 14, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 20, 1, 1),
   (13, 3, 13, 1, 1),
   (19, 1, 14, 1, 1),
   (25, 22, 16, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 14, 1, 1), (19, 1, 13, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 14, 1, 1), (19, 1, 13, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 20, 1, 1), (19, 1, 8, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 20, 1, 1), (19, 1, 13, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 6, 1, 1), (19, 1, 8, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 14, 1, 1), (19, 1, 8, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 8, 1, 1), (19, 1, 6, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 6, 1, 1), (19, 1, 20, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 14, 1, 1), (19, 1, 8, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 14, 1, 1), (19, 1, 20, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 8, 1, 1), (19, 1, 14, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 8, 1, 1), (19, 1, 14, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 13, 1, 1), (19, 1, 6, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 20, 1, 1), (19, 1, 16, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 13, 1, 1), (19, 1, 14, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 20, 1, 1), (19, 1, 8, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 6, 1, 1), (19, 1, 16, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 6, 1, 1), (19, 1, 8, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 6, 1, 1), (19, 1, 13, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 6, 1, 1), (19, 1, 16, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 14, 1, 1), (19, 1, 6, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 8, 1, 1), (19, 1, 13, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 6, 1, 1), (19, 1, 16, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 16, 1, 1), (19, 1, 14, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 8, 1, 1), (19, 1, 13, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 6, 1, 1), (19, 1, 16, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 14, 1, 1), (19, 1, 13, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 20, 1, 1), (19, 1, 13, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 8, 1, 1), (19, 1, 20, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 14, 1, 1), (19, 1, 20, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 13, 1, 1), (19, 1, 6, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 6, 1, 1), (19, 1, 8, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 6, 1, 1), (19, 1, 16, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 13, 1, 1), (19, 1, 16, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 13, 1, 1), (19, 1, 14, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 8, 1, 1), (19, 1, 16, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 13, 1, 1), (19, 1, 20, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 20, 1, 1), (19, 1, 16, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 6, 1, 1), (19, 1, 14, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 13, 1, 1), (19, 1, 16, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 13, 1, 1), (19, 1, 20, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 14, 1, 1),
   (13, 3, 20, 1, 1),
   (19, 1, 16, 1, 1),
   (25, 22, 13, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 16, 1, 1), (19, 1, 6, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 6, 1, 1), (19, 1, 13, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 16, 1, 1), (19, 1, 14, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 8, 1, 1), (19, 1, 16, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 13, 1, 1), (19, 1, 6, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 6, 1, 1), (19, 1, 20, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 16, 1, 1), (19, 1, 14, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 6, 1, 1), (19, 1, 16, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 8, 1, 1), (19, 1, 14, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 16, 1, 1), (19, 1, 20, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 13, 1, 1), (19, 1, 20, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 16, 1, 1), (19, 1, 20, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 6, 1, 1), (19, 1, 16, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 16, 1, 1), (19, 1, 13, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 13, 1, 1), (19, 1, 14, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 8, 1, 1), (19, 1, 20, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 8, 1, 1), (19, 1, 16, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 13, 1, 1), (19, 1, 14, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 6, 1, 1), (19, 1, 13, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 8, 1, 1), (19, 1, 6, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 13, 1, 1), (19, 1, 20, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 20, 1, 1), (19, 1, 16, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 6, 1, 1), (19, 1, 8, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 20, 1, 1), (19, 1, 6, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 6, 1, 1), (19, 1, 14, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 16, 1, 1), (19, 1, 14, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 13, 1, 1), (19, 1, 6, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 20, 1, 1), (19, 1, 14, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 14, 1, 1), (19, 1, 20, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 16, 1, 1), (19, 1, 20, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 14, 1, 1), (19, 1, 13, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 14, 1, 1), (19, 1, 8, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 14, 1, 1), (19, 1, 20, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 13, 1, 1), (19, 1, 8, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 14, 1, 1), (19, 1, 8, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 8, 1, 1), (19, 1, 20, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 20, 1, 1), (19, 1, 8, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 20, 1, 1), (19, 1, 8, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 20, 1, 1), (19, 1, 8, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 13, 1, 1), (19, 1, 8, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 8, 1, 1), (19, 1, 6, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 20, 1, 1), (19, 1, 8, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 8, 1, 1), (19, 1, 20, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 16, 1, 1), (19, 1, 6, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 13, 1, 1), (19, 1, 6, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 6, 1, 1), (19, 1, 14, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 16, 1, 1), (19, 1, 6, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 13, 1, 1), (19, 1, 6, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 6, 1, 1), (19, 1, 16, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 16, 1, 1),
   (13, 3, 13, 1, 1),
   (19, 1, 14, 1, 1),
   (25, 22, 20, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 13, 1, 1), (19, 1, 14, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 20, 1, 1), (19, 1, 13, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 20, 1, 1), (19, 1, 13, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 16, 1, 1), (19, 1, 14, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 16, 1, 1),
   (13, 3, 13, 1, 1),
   (19, 1, 20, 1, 1),
   (25, 22, 14, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 13, 1, 1), (19, 1, 16, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 16, 1, 1),
   (13, 3, 14, 1, 1),
   (19, 1, 20, 1, 1),
   (25, 22, 13, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 16, 1, 1), (19, 1, 20, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 14, 1, 1), (19, 1, 8, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 14, 1, 1), (19, 1, 16, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 6, 1, 1), (19, 1, 14, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 16, 1, 1), (19, 1, 6, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 8, 1, 1), (19, 1, 16, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 16, 1, 1), (19, 1, 6, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 6, 1, 1), (19, 1, 14, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 6, 1, 1), (19, 1, 13, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 20, 1, 1), (19, 1, 8, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 13, 1, 1), (19, 1, 16, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 13, 1, 1), (19, 1, 16, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 16, 1, 1), (19, 1, 14, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 16, 1, 1), (19, 1, 20, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 13, 1, 1), (19, 1, 8, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 6, 1, 1), (19, 1, 20, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 6, 1, 1), (19, 1, 13, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 8, 1, 1), (19, 1, 20, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 13, 1, 1), (19, 1, 6, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 20, 1, 1), (19, 1, 14, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 16, 1, 1), (19, 1, 14, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 8, 1, 1), (19, 1, 13, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 8, 1, 1), (19, 1, 13, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 8, 1, 1), (19, 1, 13, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 16, 1, 1), (19, 1, 20, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 14, 1, 1), (19, 1, 13, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 14, 1, 1), (19, 1, 8, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 20, 1, 1),
   (13, 3, 14, 1, 1),
   (19, 1, 13, 1, 1),
   (25, 22, 16, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 16, 1, 1), (19, 1, 8, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 16, 1, 1), (19, 1, 20, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 20, 1, 1), (19, 1, 13, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 13, 1, 1), (19, 1, 20, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 14, 1, 1), (19, 1, 16, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 20, 1, 1), (19, 1, 13, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 20, 1, 1), (19, 1, 13, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 6, 1, 1), (19, 1, 20, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 14, 1, 1),
   (13, 3, 16, 1, 1),
   (19, 1, 13, 1, 1),
   (25, 22, 20, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 13, 1, 1), (19, 1, 6, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 16, 1, 1), (19, 1, 6, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 14, 1, 1), (19, 1, 20, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 16, 1, 1), (19, 1, 6, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 8, 1, 1), (19, 1, 13, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 20, 1, 1), (19, 1, 16, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 8, 1, 1), (19, 1, 14, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 20, 1, 1), (19, 1, 6, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 6, 1, 1), (19, 1, 8, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 20, 1, 1), (19, 1, 6, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 16, 1, 1), (19, 1, 20, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 6, 1, 1), (19, 1, 13, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 14, 1, 1), (19, 1, 13, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 16, 1, 1), (19, 1, 13, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 14, 1, 1),
   (13, 3, 13, 1, 1),
   (19, 1, 16, 1, 1),
   (25, 22, 20, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 8, 1, 1), (19, 1, 20, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 6, 1, 1), (19, 1, 8, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 13, 1, 1), (19, 1, 14, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 16, 1, 1), (19, 1, 14, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 8, 1, 1), (19, 1, 13, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 14, 1, 1), (19, 1, 20, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 16, 1, 1), (19, 1, 8, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 14, 1, 1), (19, 1, 13, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 14, 1, 1), (19, 1, 6, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 13, 1, 1), (19, 1, 16, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 16, 1, 1), (19, 1, 14, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 14, 1, 1), (19, 1, 6, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 16, 1, 1), (19, 1, 6, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 8, 1, 1), (19, 1, 16, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 8, 1, 1), (19, 1, 6, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 6, 1, 1), (19, 1, 20, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 13, 1, 1),
   (13, 3, 16, 1, 1),
   (19, 1, 14, 1, 1),
   (25, 22, 20, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 20, 1, 1), (19, 1, 14, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 20, 1, 1), (19, 1, 6, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 8, 1, 1), (19, 1, 16, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 20, 1, 1), (19, 1, 6, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 14, 1, 1), (19, 1, 13, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 8, 1, 1), (19, 1, 6, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 20, 1, 1), (19, 1, 14, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 13, 1, 1), (19, 1, 6, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 20, 1, 1), (19, 1, 16, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 14, 1, 1), (19, 1, 8, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 6, 1, 1), (19, 1, 16, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 20, 1, 1), (19, 1, 14, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 13, 1, 1), (19, 1, 16, 1, 1), (25, 22, 14, 1, 1)},
  {(7, 10, 20, 1, 1),
   (13, 3, 13, 1, 1),
   (19, 1, 16, 1, 1),
   (25, 22, 14, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 6, 1, 1), (19, 1, 20, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 6, 1, 1), (19, 1, 13, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 6, 1, 1), (19, 1, 16, 1, 1), (25, 22, 20, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 14, 1, 1), (19, 1, 6, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 16, 1, 1), (19, 1, 6, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 14, 1, 1), (13, 3, 16, 1, 1), (19, 1, 20, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 13, 1, 1), (13, 3, 8, 1, 1), (19, 1, 14, 1, 1), (25, 22, 6, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 8, 1, 1), (19, 1, 6, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 16, 1, 1), (13, 3, 20, 1, 1), (19, 1, 8, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 6, 1, 1), (13, 3, 14, 1, 1), (19, 1, 20, 1, 1), (25, 22, 8, 1, 1)},
  {(7, 10, 13, 1, 1),
   (13, 3, 16, 1, 1),
   (19, 1, 20, 1, 1),
   (25, 22, 14, 1, 1)},
  {(7, 10, 20, 1, 1), (13, 3, 14, 1, 1), (19, 1, 6, 1, 1), (25, 22, 13, 1, 1)},
  {(7, 10, 8, 1, 1), (13, 3, 13, 1, 1), (19, 1, 6, 1, 1), (25, 22, 16, 1, 1)},
  {(7, 10, 14, 1, 1),
   (13, 3, 13, 1, 1),
   (19, 1, 20, 1, 1),
   (25, 22, 16, 1, 1)},
  {(7, 10, 13, 1, 1),
   (13, 3, 20, 1, 1),
   (19, 1, 14, 1, 1),
   (25, 22, 8, 1, 1)}]]